1. Hardware and Software: Verification and Testing
پدیدآورنده : / Nir Piterman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Hardware and software
پدیدآورنده : \ Nir Piterman (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,Software engineering,کامپیوتر,شبکه‌های کامپیوتری,نرم‌افزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,
3. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده : / Nir Piterman, Scott A. Smolka
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
